#include "syscall.h"

int main()
{
	OpenFileId output = ConsoleOutput;
	char taco[15874];
	Open("taco");
	Read(taco, 15873, 2);
	Write(taco, 2, output);
	Exit(0);
}
